minios: Fix bug/build problem introduced in c/s 22799
authorJohn Weekes <lists.xen@nuclearfallout.net>
Thu, 27 Jan 2011 09:37:19 +0000 (09:37 +0000)
committerJohn Weekes <lists.xen@nuclearfallout.net>
Thu, 27 Jan 2011 09:37:19 +0000 (09:37 +0000)
commitb920b2c76176ef8850806fb578a4619f1a83e51f
tree1ab56cb909504ef142bf15f3e19e71ab77c30bc2
parente948bb957130471f5725dce424a6daa288a10e73
minios: Fix bug/build problem introduced in c/s 22799

With "debug=n", "make stubdom" currently fails in xen-unstable. This
patch addresses this through minor fixups.

Signed-off-by: John Weekes <lists.xen@nuclearfallout.net>
Acked-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
extras/mini-os/lib/sys.c